From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท6hยท
Discuss: r/programming
๐Ÿlisp
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท11hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling
Java Isn't Verbose โ€“ You Are
dev.toยท8hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Item Patterns and Struct Await
noratrieb.devยท13hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Effective C++ โ€“ Hour 10
jtag.bearblog.devยท1d
๐ŸงธToy Compilers
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Bit Shift Paradox: How "Optimizing" Can Make Code 6ร— Slower
hackernoon.comยท2d
โšกInterpreter Optimization
Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.comยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ“Linear Logic
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Less Is More: Recursive Reasoning with Tiny Networks
github.comยท2dยท
Discuss: Hacker News
๐ŸŒฑMinimal ML
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
๐Ÿ•’ Running Time Wednesday! Understanding Big O (Made Simple)
dev.toยท2dยท
Discuss: DEV
๐Ÿš€Code Motion